$\vdash$  (ff = tt) $\vee$ (ff = ff)